623 research outputs found
Plasma wake inhibition at the collision of two laser pulses in an underdense plasma
An electron injector concept for laser-plasma accelerator was developed in
ref [1] and [2] ; it relies on the use of counter-propagating ultrashort laser
pulses. In [2], the scheme is as follows: the pump laser pulse generates a
large amplitude laser wakefield (plasma wave). The counter-propagating
injection pulse interferes with the pump laser pulse to generate a beatwave
pattern. The ponderomotive force of the beatwave is able to inject plasma
electrons into the wakefield. We have studied this injection scheme using 1D
Particle in Cell (PIC) simulations. The simulations reveal phenomena and
important physical processes that were not taken into account in previous
models. In particular, at the collision of the laser pulses, most plasma
electrons are trapped in the beatwave pattern and cannot contribute to the
collective oscillation supporting the plasma wave. At this point, the fluid
approximation fails and the plasma wake is strongly inhibited. Consequently,
the injected charge is reduced by one order of magnitude compared to the
predictions from previous models.Comment: 4 pages, 4 figure
Quasimonoenergetic electron beams produced by colliding cross-polarized laser pulses in underdense plasmas
The interaction of two laser pulses in an underdense plasma has proven to be
able to inject electrons in plasma waves, thus providing a stable and tunable
source of electrons. Whereas previous works focused on the "beatwave" injection
scheme in which two lasers with the same polarization collide in a plasma, this
present letter studies the effect of polarization and more specifically the
interaction of two colliding cross-polarized laser pulses. It is shown both
theoretically and experimentally that electrons can also be pre-accelerated and
injected by the stochastic heating occurring at the collision of two
cross-polarized lasers and thus, a new regime of optical injection is
demonstrated. It is found that injection with cross-polarized lasers occurs at
higher laser intensities.Comment: 4 pages, 4 figure
Energy boost in laser wakefield accelerators using sharp density transitions
The energy gain in laser wakefield accelerators is limited by dephasing
between the driving laser pulse and the highly relativistic electrons in its
wake. Since this phase depends on both the driver and the cavity length, the
effects of dephasing can be mitigated with appropriate tailoring of the plasma
density along propagation. Preceding studies have discussed the prospects of
continuous phase-locking in the linear wakefield regime. However, most
experiments are performed in the highly non-linear regime and rely on
self-guiding of the laser pulse. Due to the complexity of the driver evolution
in this regime it is much more difficult to achieve phase locking. As an
alternative we study the scenario of rapid rephasing in sharp density
transitions, as was recently demonstrated experimentally. Starting from a
phenomenological model we deduce expressions for the electron energy gain in
such density profiles. The results are in accordance with particle-in-cell
simulations and we present gain estimations for single and multiple stages of
rephasing
An Entailment Relation for Reasoning on the Web
Reasoning on the Web is receiving an increasing attention because of emerging fields such as Web adaption and Semantic Web. Indeed, the advanced functionalities striven for in these fields call for reasoning capabilities. Reasoning on the Web, however, is usually done using existing techniques rarely fitting the Web. As a consequence, additional data processing like data conversion from Web formats (e.g. XML or HTML) into some other formats (e.g. classical logic terms and formulas) is often needed and aspects of the Web (e.g. its inherent inconsistency) are neglected. This article first gives requirements for an entailment tuned to reasoning on the Web. Then, it describes how classical logic’s entailment can be modified so as to enforce these requirements. Finally, it discusses how the proposed entailment can be used in applying logic programming to reasoning on the Web
Anticorrelation between Ion Acceleration and Nonlinear Coherent Structures from Laser-Underdense Plasma Interaction
In laser-plasma experiments, we observed that ion acceleration from the
Coulomb explosion of the plasma channel bored by the laser, is prevented when
multiple plasma instabilities such as filamentation and hosing, and nonlinear
coherent structures (vortices/post-solitons) appear in the wake of an
ultrashort laser pulse. The tailoring of the longitudinal plasma density ramp
allows us to control the onset of these insabilities. We deduced that the laser
pulse is depleted into these structures in our conditions, when a plasma at
about 10% of the critical density exhibits a gradient on the order of 250
{\mu}m (gaussian fit), thus hindering the acceleration. A promising
experimental setup with a long pulse is demonstrated enabling the excitation of
an isolated coherent structure for polarimetric measurements and, in further
perspectives, parametric studies of ion plasma acceleration efficiency.Comment: 4 pages, 5 figure
Short Intense Laser Pulse Collapse in Near-Critical Plasma
It is observed that the interaction of an intense ultra-short laser pulse
with an overdense gas jet results in the pulse collapse and the deposition of a
significant part of energy in a small and well localized volume in the rising
part of the gas jet, where the electrons are efficiently accelerated and
heated. A collisionless plasma expansion over 150 microns at a sub-relativistic
velocity (~c/3) has been optically monitored in time and space, and attributed
to the quasistatic field ionization of the gas associated to the hot electron
current. Numerical simulations in good agreement with the observations suggest
the acceleration in the collapse region of relativistic electrons, along with
the excitation of a sizeable magnetic dipole that sustains the electron current
over several picoseconds. Perspectives of ion beam generation at high
repetition rate directly from gas jets are discussed
Where Fail-Safe Default Logics Fail
Reiter's original definition of default logic allows for the application of a
default that contradicts a previously applied one. We call failure this
condition. The possibility of generating failures has been in the past
considered as a semantical problem, and variants have been proposed to solve
it. We show that it is instead a computational feature that is needed to encode
some domains into default logic
Planning in action language BC while learning action costs for mobile robots
The action language BC provides an elegant way of formalizing dynamic domains which involve indirect effects of actions and recursively defined fluents. In complex robot task planning domains, it may be necessary for robots to plan with incomplete information, and reason about indirect or recursive action effects. In this paper, we demonstrate how BC can be used for robot task planning to solve these issues. Additionally, action costs are incorporated with planning to produce optimal plans, and we estimate these costs from experience making planning adaptive. This paper presents the first application of BC on a real robot in a realistic domain, which involves human-robot interaction for knowledge acquisition, optimal plan generation to minimize navigation time, and learning for adaptive planning
- …